Nicola Olivetti: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (6)
Most Popular
List
- List
- Table

1

Goal-Directed Proof Theory

Goal-Directed Proof Theory

Dov M. Gabbay, N. Olivetti, Nicola Olivetti

Year:

2000

Language:

english

File:

PDF, 1.33 MB

0 / 0

english, 2000

2

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Piero A. Bonatti (auth.), Nicola Olivetti (eds.)

Year:

2007

Language:

english

File:

PDF, 2.68 MB

0 / 0

english, 2007

3

Proof Theory for Fuzzy Logics

Proof Theory for Fuzzy Logics

George Metcalfe, Nicola Olivetti, Dov Gabbay

Year:

2008

Language:

english

File:

PDF, 1.78 MB

0 / 0

english, 2008

4

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Springer International Publishing

Nicola Olivetti, Ashish Tiwari (eds.)

Year:

2016

Language:

english

File:

PDF, 15.80 MB

0 / 0

english, 2016

5

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Régis Alenda, Nicola Olivetti (auth.), Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.)

Year:

2012

Language:

english

File:

PDF, 6.88 MB

0 / 0

english, 2012

6

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Régis Alenda, Nicola Olivetti (auth.), Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.)

Year:

2012

Language:

english

File:

PDF, 12.26 MB

0 / 0

english, 2012